logic formula中文是什么意思

發(fā)音:

中文翻譯
造句

邏輯公式

logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
formula n. (pl. formulas, -lae ) 1.公 ...
formula (mathematical logic) 公式 (數(shù)理邏輯)
formula of propositional logic 命題邏輯公式
validity of formula in fuzzy logic 模糊邏輯公式的有效性
by formula 按公式
the formula 魔頭對(duì)魔頭
-logic -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
and logic “與”邏輯
logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實(shí)的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
logic-and 邏輯“與”
or logic 或邏輯
a ortionment formula 分?jǐn)偡匠淌?/li>
a pseudoscientific formula 一個(gè)假科學(xué)公式
a rigid formula 呆板的公式; 僵硬的公式
abbreviated formula 簡化式; 簡寫式; 縮寫式
absorption formula 吸收性公式
accessing formula 訪問公式
accounting formula 會(huì)計(jì)公式
activation formula 激活公式
add formula 加添公式
addition formula 加法公式
agreed formula 一致同意的辦法, 商定方案
airlight formula 大氣光學(xué)公式

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

Truth degree of intuitionistic fuzzy propositional logic formula
直覺模糊命題邏輯公式的真度
Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊謂詞邏輯公式的有限和可數(shù)解釋真度理論
It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly
這種方法可以對(duì)邏輯公式的原始形態(tài)直接進(jìn)行計(jì)算，無需化簡。
Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一階模糊謂詞邏輯公式的有限解釋真度和可數(shù)解釋真度的理論及其應(yīng)用
After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively , the correctness of uml statecharts can be verified using automaton - based model checking method
在把根據(jù)eha操作語義得到的標(biāo)記遷移系統(tǒng)和表示性質(zhì)的線性時(shí)態(tài)邏輯公式分別轉(zhuǎn)換為b chi自動(dòng)機(jī)后，用基于自動(dòng)機(jī)理論的模型檢驗(yàn)方法驗(yàn)證umlstatecharts的正確性。
The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas , while the system presented as a kripke structure
它通常采用狀態(tài)空間搜索的方法來檢測一個(gè)給定的計(jì)算模型是否滿足某個(gè)用時(shí)序邏輯公式表示的特定屬性。它是一個(gè)自動(dòng)檢驗(yàn)有限狀態(tài)并發(fā)系統(tǒng)的技術(shù)。
In addition , there are other important issues to be addressed , such as how to represent formal knowledge and to markup logic formula for querying and inference in semantic w eb , and how to improve retrieving efficiency and accuracy of querying via ontology learning , and etc . as the web is thought as a popular distributed platform , into which more and more traditional applications are been transitioned , there are other two promising fields for applying and further developing concepts and methods of ke in semantic web worth paying attention to two fields : iii ( intelligent information integration ) and km ( knowledge management ) in the context of semantic web
這種發(fā)展過程在解決目前web面臨問題的同時(shí)， ontology成熟技術(shù)和其他傳統(tǒng)技術(shù)如何成功地融入到web計(jì)算模式中至關(guān)重要。除了一些關(guān)鍵的標(biāo)準(zhǔn)和技術(shù)外，如何在語義化web中表示形式化的知識(shí)、表示查詢公式實(shí)現(xiàn)查詢乃至推理功能、為提高查詢效率與準(zhǔn)確性進(jìn)行ontology學(xué)習(xí)等都是web語義化過程中的主要問題。在傳統(tǒng)的應(yīng)用向web計(jì)算環(huán)境遷移的同時(shí)， ke技術(shù)應(yīng)用于語義化web最具前景的是智能信息集成和km 。
As examples , a - tautologies and f - tautologies in lattice valued logic systems 1 - 4p ( x ) and l6p ( x ) are discussed in detail . ( 2 ) a kind of calculus method that is used to determine the truth - values of propositional logic formulae by means of the dynamic neural networks is proposed . it is not necessary that the formulae be simplified into normal form
本文分析討論了基于格蘊(yùn)涵代數(shù)直積的格值邏輯系統(tǒng)中的-重言式和f -重言式，作為兩個(gè)實(shí)例，詳細(xì)討論了兩個(gè)格值邏輯系統(tǒng)l _ 4p ( x )和l _ 6p ( x )中的重言式和f -重言式的結(jié)構(gòu)。

推薦英語閱讀

logic formula的中文翻譯，logic formula是什么意思，怎么用漢語翻譯logic formula，logic formula的中文意思，logic formula的中文，logic formula in Chinese，logic formula的中文，logic formula怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。